University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Henry M. Levy; Digital Press, 1984, ISBN 0932376223. Thorough survey and description of early capability and object based hardware and software systems. Out of print, available as free download, PDF format.
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have ...
Specification and rationale: pure object-oriented, prototype-based, statically-typed, to support fast writing of reliable, extensible systems. Description, documents in HTML, PS formats.
Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author ...
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
Report and paper by Charles Reis, Steven Gribble, Tadayoshi Kohno, and Nicholas Weaver, detailing a method of alerting users to changes made to web pages by proxies and web clients, and presenting results of tests to examine the prevalence of such in-...